(eq (ext-even 2) t)
